Nuprl Definition : b2i 9,38
b2i(b) == if b then 1 else 0 fi  
latex

Definitionsif b then t else f fi , #$n
FDL editor aliasesb2i

origin